Optimal. Leaf size=114 \[ -\frac {2 a b x}{\left (a^2+b^2\right )^2}+\frac {\left (a^2-b^2\right ) \log (\cos (c+d x))}{\left (a^2+b^2\right )^2 d}+\frac {a^2 \left (a^2+3 b^2\right ) \log (a+b \tan (c+d x))}{b^2 \left (a^2+b^2\right )^2 d}+\frac {a^3}{b^2 \left (a^2+b^2\right ) d (a+b \tan (c+d x))} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 121, normalized size of antiderivative = 1.06, number of steps
used = 5, number of rules used = 5, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.238, Rules used = {3646, 3707,
3698, 31, 3556} \begin {gather*} -\frac {a^2 \tan (c+d x)}{b d \left (a^2+b^2\right ) (a+b \tan (c+d x))}+\frac {a^2 \left (a^2+3 b^2\right ) \log (a+b \tan (c+d x))}{b^2 d \left (a^2+b^2\right )^2}+\frac {\left (a^2-b^2\right ) \log (\cos (c+d x))}{d \left (a^2+b^2\right )^2}-\frac {2 a b x}{\left (a^2+b^2\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 3556
Rule 3646
Rule 3698
Rule 3707
Rubi steps
\begin {align*} \int \frac {\tan ^3(c+d x)}{(a+b \tan (c+d x))^2} \, dx &=-\frac {a^2 \tan (c+d x)}{b \left (a^2+b^2\right ) d (a+b \tan (c+d x))}+\frac {\int \frac {a^2-a b \tan (c+d x)+\left (a^2+b^2\right ) \tan ^2(c+d x)}{a+b \tan (c+d x)} \, dx}{b \left (a^2+b^2\right )}\\ &=-\frac {2 a b x}{\left (a^2+b^2\right )^2}-\frac {a^2 \tan (c+d x)}{b \left (a^2+b^2\right ) d (a+b \tan (c+d x))}-\frac {\left (a^2-b^2\right ) \int \tan (c+d x) \, dx}{\left (a^2+b^2\right )^2}+\frac {\left (a^2 \left (a^2+3 b^2\right )\right ) \int \frac {1+\tan ^2(c+d x)}{a+b \tan (c+d x)} \, dx}{b \left (a^2+b^2\right )^2}\\ &=-\frac {2 a b x}{\left (a^2+b^2\right )^2}+\frac {\left (a^2-b^2\right ) \log (\cos (c+d x))}{\left (a^2+b^2\right )^2 d}-\frac {a^2 \tan (c+d x)}{b \left (a^2+b^2\right ) d (a+b \tan (c+d x))}+\frac {\left (a^2 \left (a^2+3 b^2\right )\right ) \text {Subst}\left (\int \frac {1}{a+x} \, dx,x,b \tan (c+d x)\right )}{b^2 \left (a^2+b^2\right )^2 d}\\ &=-\frac {2 a b x}{\left (a^2+b^2\right )^2}+\frac {\left (a^2-b^2\right ) \log (\cos (c+d x))}{\left (a^2+b^2\right )^2 d}+\frac {a^2 \left (a^2+3 b^2\right ) \log (a+b \tan (c+d x))}{b^2 \left (a^2+b^2\right )^2 d}-\frac {a^2 \tan (c+d x)}{b \left (a^2+b^2\right ) d (a+b \tan (c+d x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 1.11, size = 251, normalized size = 2.20 \begin {gather*} \frac {a \left (-2 \left (a^2+b^2\right )^2 \log (\cos (c+d x))+a \left (2 (a+i b)^2 (i a+2 b) (c+d x)+a \left (a^2+3 b^2\right ) \log \left ((a \cos (c+d x)+b \sin (c+d x))^2\right )\right )\right )+b \left (-2 \left (a^2+b^2\right )^2 \log (\cos (c+d x))+a \left (2 i \left (2 i b^3 (c+d x)+a^3 (i+c+d x)+a b^2 (i+3 c+3 d x)\right )+a \left (a^2+3 b^2\right ) \log \left ((a \cos (c+d x)+b \sin (c+d x))^2\right )\right )\right ) \tan (c+d x)-2 i a^2 \left (a^2+3 b^2\right ) \text {ArcTan}(\tan (c+d x)) (a+b \tan (c+d x))}{2 b^2 \left (a^2+b^2\right )^2 d (a+b \tan (c+d x))} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.16, size = 114, normalized size = 1.00
method | result | size |
derivativedivides | \(\frac {\frac {\frac {\left (-a^{2}+b^{2}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2}-2 a b \arctan \left (\tan \left (d x +c \right )\right )}{\left (a^{2}+b^{2}\right )^{2}}+\frac {a^{2} \left (a^{2}+3 b^{2}\right ) \ln \left (a +b \tan \left (d x +c \right )\right )}{\left (a^{2}+b^{2}\right )^{2} b^{2}}+\frac {a^{3}}{b^{2} \left (a^{2}+b^{2}\right ) \left (a +b \tan \left (d x +c \right )\right )}}{d}\) | \(114\) |
default | \(\frac {\frac {\frac {\left (-a^{2}+b^{2}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2}-2 a b \arctan \left (\tan \left (d x +c \right )\right )}{\left (a^{2}+b^{2}\right )^{2}}+\frac {a^{2} \left (a^{2}+3 b^{2}\right ) \ln \left (a +b \tan \left (d x +c \right )\right )}{\left (a^{2}+b^{2}\right )^{2} b^{2}}+\frac {a^{3}}{b^{2} \left (a^{2}+b^{2}\right ) \left (a +b \tan \left (d x +c \right )\right )}}{d}\) | \(114\) |
norman | \(\frac {\frac {a^{3}}{d \left (a^{2}+b^{2}\right ) b^{2}}-\frac {2 a^{2} b x}{a^{4}+2 a^{2} b^{2}+b^{4}}-\frac {2 b^{2} a x \tan \left (d x +c \right )}{a^{4}+2 a^{2} b^{2}+b^{4}}}{a +b \tan \left (d x +c \right )}+\frac {a^{2} \left (a^{2}+3 b^{2}\right ) \ln \left (a +b \tan \left (d x +c \right )\right )}{\left (a^{4}+2 a^{2} b^{2}+b^{4}\right ) b^{2} d}-\frac {\left (a^{2}-b^{2}\right ) \ln \left (1+\tan ^{2}\left (d x +c \right )\right )}{2 d \left (a^{4}+2 a^{2} b^{2}+b^{4}\right )}\) | \(178\) |
risch | \(-\frac {i x}{2 i a b -a^{2}+b^{2}}-\frac {2 i a^{4} x}{b^{2} \left (a^{4}+2 a^{2} b^{2}+b^{4}\right )}-\frac {2 i a^{4} c}{b^{2} d \left (a^{4}+2 a^{2} b^{2}+b^{4}\right )}-\frac {6 i a^{2} x}{a^{4}+2 a^{2} b^{2}+b^{4}}-\frac {6 i a^{2} c}{\left (a^{4}+2 a^{2} b^{2}+b^{4}\right ) d}+\frac {2 i x}{b^{2}}+\frac {2 i c}{b^{2} d}-\frac {2 i a^{3}}{\left (i b +a \right ) d b \left (-i b +a \right )^{2} \left (-i b \,{\mathrm e}^{2 i \left (d x +c \right )}+a \,{\mathrm e}^{2 i \left (d x +c \right )}+i b +a \right )}+\frac {a^{4} \ln \left ({\mathrm e}^{2 i \left (d x +c \right )}-\frac {i b +a}{i b -a}\right )}{b^{2} d \left (a^{4}+2 a^{2} b^{2}+b^{4}\right )}+\frac {3 a^{2} \ln \left ({\mathrm e}^{2 i \left (d x +c \right )}-\frac {i b +a}{i b -a}\right )}{\left (a^{4}+2 a^{2} b^{2}+b^{4}\right ) d}-\frac {\ln \left ({\mathrm e}^{2 i \left (d x +c \right )}+1\right )}{b^{2} d}\) | \(337\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 1.03, size = 155, normalized size = 1.36 \begin {gather*} \frac {\frac {2 \, a^{3}}{a^{3} b^{2} + a b^{4} + {\left (a^{2} b^{3} + b^{5}\right )} \tan \left (d x + c\right )} - \frac {4 \, {\left (d x + c\right )} a b}{a^{4} + 2 \, a^{2} b^{2} + b^{4}} + \frac {2 \, {\left (a^{4} + 3 \, a^{2} b^{2}\right )} \log \left (b \tan \left (d x + c\right ) + a\right )}{a^{4} b^{2} + 2 \, a^{2} b^{4} + b^{6}} - \frac {{\left (a^{2} - b^{2}\right )} \log \left (\tan \left (d x + c\right )^{2} + 1\right )}{a^{4} + 2 \, a^{2} b^{2} + b^{4}}}{2 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.01, size = 226, normalized size = 1.98 \begin {gather*} -\frac {4 \, a^{2} b^{3} d x - 2 \, a^{3} b^{2} - {\left (a^{5} + 3 \, a^{3} b^{2} + {\left (a^{4} b + 3 \, a^{2} b^{3}\right )} \tan \left (d x + c\right )\right )} \log \left (\frac {b^{2} \tan \left (d x + c\right )^{2} + 2 \, a b \tan \left (d x + c\right ) + a^{2}}{\tan \left (d x + c\right )^{2} + 1}\right ) + {\left (a^{5} + 2 \, a^{3} b^{2} + a b^{4} + {\left (a^{4} b + 2 \, a^{2} b^{3} + b^{5}\right )} \tan \left (d x + c\right )\right )} \log \left (\frac {1}{\tan \left (d x + c\right )^{2} + 1}\right ) + 2 \, {\left (2 \, a b^{4} d x + a^{4} b\right )} \tan \left (d x + c\right )}{2 \, {\left ({\left (a^{4} b^{3} + 2 \, a^{2} b^{5} + b^{7}\right )} d \tan \left (d x + c\right ) + {\left (a^{5} b^{2} + 2 \, a^{3} b^{4} + a b^{6}\right )} d\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 0.89, size = 1992, normalized size = 17.47 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.91, size = 181, normalized size = 1.59 \begin {gather*} -\frac {\frac {4 \, {\left (d x + c\right )} a b}{a^{4} + 2 \, a^{2} b^{2} + b^{4}} + \frac {{\left (a^{2} - b^{2}\right )} \log \left (\tan \left (d x + c\right )^{2} + 1\right )}{a^{4} + 2 \, a^{2} b^{2} + b^{4}} - \frac {2 \, {\left (a^{4} + 3 \, a^{2} b^{2}\right )} \log \left ({\left | b \tan \left (d x + c\right ) + a \right |}\right )}{a^{4} b^{2} + 2 \, a^{2} b^{4} + b^{6}} + \frac {2 \, {\left (a^{4} \tan \left (d x + c\right ) + 3 \, a^{2} b^{2} \tan \left (d x + c\right ) + 2 \, a^{3} b\right )}}{{\left (a^{4} b + 2 \, a^{2} b^{3} + b^{5}\right )} {\left (b \tan \left (d x + c\right ) + a\right )}}}{2 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.25, size = 137, normalized size = 1.20 \begin {gather*} \frac {a^3}{b^2\,d\,\left (a^2+b^2\right )\,\left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )}-\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )-\mathrm {i}\right )}{2\,d\,\left (a^2+a\,b\,2{}\mathrm {i}-b^2\right )}+\frac {a^2\,\ln \left (a+b\,\mathrm {tan}\left (c+d\,x\right )\right )\,\left (a^2+3\,b^2\right )}{b^2\,d\,{\left (a^2+b^2\right )}^2}-\frac {\ln \left (\mathrm {tan}\left (c+d\,x\right )+1{}\mathrm {i}\right )\,1{}\mathrm {i}}{2\,d\,\left (a^2\,1{}\mathrm {i}+2\,a\,b-b^2\,1{}\mathrm {i}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________